How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules

This paper details how folklore notions of hygiene and referential transparency of R5RS macros are defeated by a systematic attack. We demonstrate syntax-rules that seem to capture user identi ers and allow their own identi ers to be captured by the closest lexical bindings. In other words, we have written R5RS macros that accomplish what commonly believed to be impossible. We build on the the fundamental technique by Petrofsky of extracting variables from arguments of a macro. The present paper generalizes Petrofsky's idea to attack referential transparency. This paper also shows how to overload the lambda form. The overloaded lambda acts as if it was infected by a virus, which propagates through the lambda's body infecting other lambdas in turn. The virus re-de nes the macro being camou aged after each binding. This rede nition is the key insight in achieving the overall referential opaqueness. Although we eventually subvert all binding forms, we preserve the semantics of Scheme as given in R5RS. The novel result of this paper is a demonstration that although R5RS macros are deliberately restricted in expressiveness, they still wield surprising power. We have exposed faults and the lack of precision in commonly held informal assertions about syntax-rule macros, and pointed out the need for proper formalization. For a practical programmer this paper o ers an encouragement: more and more powerful R5RS macros turn out to be possible.